Revision: tla-load-dirs--head--1.0--patch-20
Archive: jgoerzen@complete.org--projects
Creator: John Goerzen <jgoerzen@complete.org>
Date: Wed Sep  3 19:39:54 CDT 2003
Standard-date: 2003-09-04 00:39:54 GMT
Modified-files: tla_support/tla_interact.py
    tla_support/tla_wc.py tla_support/util.py
New-patches: jgoerzen@complete.org--projects/tla-load-dirs--head--1.0--patch-20
Summary: Speed optimizations
Keywords: 

Attempt to optimize speed by consolidating separate regexps into a single
one.

Minor typo fix in syntax display.
